

package es.deusto.ingenieria.is.Criptosuma.formulation;

import java.io.File;

import es.deusto.ingenieria.is.csp.algorithms.BackTracking;

public class MainProgram {

	public static void main(String[] args) {
		try {						
			
			File archivo = new File ("crytaddition_samples/additionpuzzle3.xml");
			CriptosumaProblem problem = new CriptosumaProblem (archivo);				
			System.out.println("* CSP " + archivo.getName() + "-Criptosuma");
			
			BackTracking<Integer> backTracking = new BackTracking<Integer>();			
			problem.solve(backTracking);	
		} catch (Exception ex) {
			ex.printStackTrace();
		}
	}
}
